2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Автор:
Krzysztof R. Apt
, Автор:
Frank S. de Boer
, Автор:
Ernst-Rüdiger Olderog
Категория:
Компьютеры
Размер книги: 2.53 Mb
Real-Time Systems: Formal Specification and Automatic Verification
Автор:
Ernst-Rüdiger Olderog
, Автор:
Henning Dierks
Размер книги: 1.73 Mb
Correct System Design
Автор:
Ernst-Rüdiger Olderog
, Автор:
Bernhard Steffen
Категория:
CsLn_
Размер книги: 5.79 Mb
Correct System Design
Автор:
Ernst-Rüdiger Olderog
, Автор:
Bernhard Steffen
Категория:
CsLn_
Размер книги: 1.59 Mb
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ...
Автор:
Werner Damm
, Автор:
Ernst-Rüdiger Olderog
Размер книги: 5.33 Mb